www.pwc.de/industry4.0 Industry 4.0 – Opportunities and Challenges of the Industrial Internet

Source URL: www.pwc.nl

• Industrial Revolution
• Technology
• Industrial automation
• Modern history
• Business
• Big data
• Industry 4.0
• Internet of things
• Technology forecasting
• Fourth Industrial Revolution
• PricewaterhouseCoopers
• Innovation of Industrial Internet of Things

Recent Advances in Green Industrial Networking Embracing Big Data with Compressive Sensing: A Green Approach in Industrial Wireless Networks Linghe Kong, Daqiang Zhang, Zongjian He, Qiao Xiang, Jiafu Wan, and Meixia Tao

Source URL: wirelesslab.sjtu.edu.cn

• Wireless networking
• Computing
• Wireless
• Technology
• Wireless sensor network
• Big data
• Internet of things
• Sensor node
• Zigbee
• Collection Tree Protocol
• Smart city
• Crowdsensing

An Industrial-Scale Software Defined Internet Exchange Point Arpit Gupta?, Robert MacDavid?, R¨udiger Birkner†, Marco Canini, Nick Feamster?, Jennifer Rexford?, Laurent Vanbever† ?Princeton University †ETH Z¨ur

Source URL: nsg.ee.ethz.ch

• Internet architecture
• Computing
• Information and communications technology
• Network architecture
• Border Gateway Protocol
• Forwarding plane
• Internet exchange point
• Router
• Control plane
• Software-defined networking
• Routing
• Forwarding information base

On SAT Modulo Theories and Optimization Problems Robert Nieuwenhuis and Albert Oliveras? Abstract. Solvers for SAT Modulo Theories (SMT) can nowadays handle large industrial (e.g., formal hardware and software verificati

Source URL: www.lsi.upc.edu

• Theoretical computer science
• Mathematics
• Mathematical logic
• Logic in computer science
• Automated theorem proving
• Electronic design automation
• Formal methods
• NP-complete problems
• Satisfiability modulo theories
• Boolean satisfiability problem
• Maximum satisfiability problem
• Unit propagation

NEWSLETTERZAM-China-Services-Office in Foshan Im Rahmen der ersten Delegationsreise nach Südchina in die dynamische Industrial-IoT-Region Greater Bay Area, mit den Städten Guangzhou, Foshan, Shenzhen, Hong Kon

Source URL: www.zukunftsallianz-maschinenbau.de

Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions J Strother Moore and Marijn J.H. Heule http://www.cs.utexas.edu/users/moore/acl2 ARCADE in Gothenburg, Sweden

Source URL: www.cs.utexas.edu

• Computer programming
• Software engineering
• Computing
• Lisp
• ACL2
• Functional languages
• J Strother Moore
• Formal methods
• Automated theorem proving
• Common Lisp
• ACL
• Advanced Micro Devices

The Industrial Internet of Things Volume G1: Reference Architecture IIC:PUB:G1:V1.80: Reference Architecture

Source URL: www.iiconsortium.org

• Industrial Internet Consortium
• Internet of things
• Technology
• Information science
• Computing

SMART SENSOR AND PRODUCTION SYSTEMS FOR INDUSTRIAL IOT Ein Trail im Smart Systems Hub aus dem Bereich Industrial IoT Dr. Jan Reimann (Fraunhofer IWU), Dr. Martina Vogel (Fraunhofer ENAS), Björn Schuster (N+P) Life-ID

Source URL: www.smart-systems-hub.de

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOL. 13, NO. 4, AUGUSTA Hierarchical Data Transmission Framework for Industrial Wireless Sensor and Actuator

Source URL: wirelesslab.sjtu.edu.cn

American Society for Industrial Security

Source URL: www.asisonline.ch